A Duration Pattern for Event-B Method
نویسنده
چکیده
Event-B is a formal method used to do Model Driven Engineering certified by theorem proving. We propose a pattern to handle duration over a predicate in this method which originally does not have particular tool to specify and reason about real-time properties.
منابع مشابه
A Drug Utilization Evaluation Study of Amphotericin B in Neutropenic Patients in a Teaching Hospital in Iran
Drug Utilization Evaluation (DUE) studies facilitate assessing the appropriateness and rational use of medications.The goal of the present study was to evaluate Amphotericin B usage in neutropenic patients. A prospective DUE study was performed in Hematology-Oncology and Stem Cell Transplantation wards at Taleghani hospital for one-year. National comprehensive cancer network, clinical practice ...
متن کاملThe Pattern of Structural Relationships of Women's Adjustment After the Event of Divorce Based on Mindfulness and Self-Compassion with the Mediating Role of Distress Tolerance: A Descriptive Study
Background and Objectives: Divorce is considered as one of the factors of family collapse, and compatibility after that is important for couples. The aim of the present study was to determine the pattern of structural relationships of women's reconciliation after the event of divorce based on mindfulness and self-compassion with the mediating role of distress tolerance. Materials and Methods: ...
متن کاملA Drug Utilization Evaluation Study of Amphotericin B in Neutropenic Patients in a Teaching Hospital in Iran
Drug Utilization Evaluation (DUE) studies facilitate assessing the appropriateness and rational use of medications.The goal of the present study was to evaluate Amphotericin B usage in neutropenic patients. A prospective DUE study was performed in Hematology-Oncology and Stem Cell Transplantation wards at Taleghani hospital for one-year. National comprehensive cancer network, clinical practice ...
متن کاملA Windows-based Program to Derive Design Rainfall Temporal Patterns For Design Flood Estimation
Design flood estimation is often required in engineering practice such as design of hydrologic structures, flood plain management, river ecological studies and flood insurance studies. The national guideline for design flood estimation in Australia known as Australian Rainfall and Runoff (ARR) recommends the Design Event Approach as the preferred method of rainfallbased design flood estimation ...
متن کاملA Study to determine the accuracy of satellite measurements for the salinity pattern and surface temperature of Persian Gulf using statistical method
The aim of this paper is to determine the sea surface salinity (SSS) and temperature (SST) of Persian Gulf by using the AMSU-B sensor data of NOAA-16 satellite. A multiple linear regression method was used by statistical computing software R on AMSU-B data and in-situ data. Based on the results, the correlation coefficient (R2) for salinity and temperature was 0.85 and 0.94, respectively. Also,...
متن کامل